public/platform.h: replace unsigned long with xen_ulong_t
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Fri, 28 Mar 2014 12:48:39 +0000 (13:48 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 28 Mar 2014 12:48:39 +0000 (13:48 +0100)
commitb021348231e942a342fd82e7a60193256236274d
treea175f9c1e654e5e4ed89848ce717b3e7073429fd
parent226bc8ee4e0fd26bd3cbdb533eb447fdcd7a90bf
public/platform.h: replace unsigned long with xen_ulong_t

Replace unsigned long with xen_ulong_t in public/platform.h.
Also replace unsigned int with uint32_t for clarity. It is safe because
unsigned int are 4 byte sized and 4 byte aligned an all the supported
architectures.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/include/public/platform.h